Forcing lightface definable well-orders without the GCH
نویسندگان
چکیده
For any given uncountable cardinal κ with κ = κ, we present a forcing that is <κ-directed closed, has the κ-cc and introduces a lightface definable well-order of H(κ). We use this to define a global iteration that adds such a well-order for all such κ simultaneously and is capable of preserving the existence of many large cardinals in the universe. 2010 Mathematics Subject Classification: 03E47, 03E35, 03E55.
منابع مشابه
Large Cardinals and Lightface Definable Well-Orders, without the GCH
This paper deals with the question whether the assumption that for every inaccessible cardinal κ there is a well-order of H(κ+) definable over the structure 〈H(κ+),∈〉 by a formula without parameters is consistent with the existence of (large) large cardinals and failures of the GCH. We work under the assumption that the SCH holds at every singular fixed point of the i-function and construct a c...
متن کاملA Definable Failure of the Singular Cardinal Hypothesis
We show first that it is consistent that κ is a measurable cardinal where the GCH fails, while there is a lightface definable wellorder of H(κ+). Then with further forcing we show that it is consistent that GCH fails at אω, אω strong limit, while there is a lightface definable wellorder of H(אω+1) (“definable failure” of the singular cardinal hypothesis at אω). The large cardinal hypothesis use...
متن کاملLarge cardinals and definable well-orders, without the GCH
We show that there is a class-sized partial order P with the property that forcing with P preserves ZFC, supercompact cardinals, inaccessible cardinals and the value of 2κ for every inaccessible cardinal κ and, if κ is an inaccessible cardinal and A is an arbitrary subset of κκ, then there is a P-generic extension of the ground model V in which A is definable in 〈H(κ+)V[G],∈〉 by a Σ1-formula wi...
متن کاملLarge cardinals and definable well-orders on the universe
We use a reverse Easton forcing iteration to obtain a universe with a definable well-order, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle ♦∗ κ+ at a proper class of cardinals κ. By choosing the cardinals at which coding occurs sufficiently sparsely, we are able to lift the embeddings witnessing the large cardinal...
متن کاملBounded Proper Forcing Axiom and Well Orderings of the Reals
We show that the bounded proper forcing axiom BPFA implies that there is a well-ordering of P(ω1) which is ∆1 definable with parameter a subset of ω1. Our proof shows that if BPFA holds then any inner model of the universe of sets that correctly computes א2 and also satisfies BPFA must contain all subsets of ω1. We show as applications how to build minimal models of BPFA and that BPFA implies t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 166 شماره
صفحات -
تاریخ انتشار 2015